VDict mobile



normal orderevaluation not found. Suggestions:

Church-Rosser Theorem
database normalisation
normal form
Head Normal Form
Root Normal Form
scan register
Weak Head Normal Form
head normalisation theorem
Conjunctive Normal Form
fault tolerance